On the Recursive Enumerability of Fixed-Point Combinators
نویسنده
چکیده
We show that the set of fixed-point combinators forms a recursivelyenumerable subset of a larger set of terms that is (A) not recursively enumerable, and (B) the terms of which are observationally equivalent to fixed-point combinators in any computable context.
منابع مشابه
AIOSC: Analytical Integer Word-length Optimization based on System Characteristics for Recursive Fixed-point LTI Systems
The integer word-length optimization known as range analysis (RA) of the fixed-point designs is a challenging problem in high level synthesis and optimization of linear-time-invariant (LTI) systems. The analysis has significant effects on the resource usage, accuracy and efficiency of the final implementation, as well as the optimization time. Conventional methods in recursive LTI systems suffe...
متن کاملCategories and types for axiomatic domain theory
Domain Theory provides a denotational semantics for programming languages and calculi containing fixed point combinators and other so-called paradoxical combinators. This dissertation presents results in the category theory and type theory of Axiomatic Domain Theory. Prompted by the adjunctions of Domain Theory, we extend Benton’s linear/nonlinear dualsequent calculus to include recursive linea...
متن کاملThe Optimal Fixed Point Combinator — Long Version
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and effective formalization of corecursive values, recursive and corecursive functions, as well as functions mixing recursion and corecursion. It supports higherorder recursion, nested recursion, and offers a proper treatment ...
متن کاملEnumerability, decidability, computability - an introduction to the theory of recursive functions
Reading a book is also kind of better solution when you have no enough money or time to get your own adventure. This is one of the reasons we show the enumerability decidability computability an introduction to the theory of recursive functions as your friend in spending the time. For more representative collections, this book not only offers it's strategically book resource. It can be a good f...
متن کاملDiagonal arguments and fixed points
A universal schema for diagonalization was popularized by N.S. Yanofsky (2003), based on a pioneering work of F.W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fi...
متن کامل